LCLint Output

LCLint 2.2 --- 25 Aug 96

palindrome.c: (in function isPalindrome)
palindrome.c:6,29: Cast from underlying abstract type
                      mstring: (char *)s
  An abstraction barrier is broken. If necessary, use
  /*@access @*/ to allow access to an abstract
  type. (-abstract will suppress message)
palindrome.c:7,31: Function strlen expects arg 1 to be
                      char * gets mstring: s
  Underlying types match, but mstring is an abstract
  type that is not accessible here.
palindrome.c:11,27: Array fetch from non-array
                       (mstring): s[len - i - 1]
  Types are incompatible. (-type will suppress
  message)
palindrome.c: (in function callPal)
palindrome.c:19,26: Function isPalindrome expects arg
    1 to be mstring gets char *: "bob"
  Underlying types match, but mstring is an abstract
  type that is not accessible here.

Finished LCLint checking --- 4 code errors found